Search results for "Functional specification"

showing 1 items of 1 documents

WSN Design and Verification Using On-Board Executable Specifications

2019

The gap between informal functional specifications and the resulting implementation in the chosen programming language is notably a source of errors in embedded systems design. In this paper, we discuss a methodology and a software platform aimed at coping with this issue in programming resource-constrained wireless sensor network nodes (WSNs). Whereas the typical development model for the WSNs is based on cross compilation, the proposed approach supports high-level symbolic coding of abstract models and distributed applications, as well as their test and their execution, directly on the target hardware. As a working example, we discuss the application of our methodology to specify the func…

Computer scienceInformation System02 engineering and technologywireless sensor networkSoftware0202 electrical engineering electronic engineering information engineeringElectrical and Electronic EngineeringEmbedded systemsymbolic programmingSettore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniFunctional specificationbusiness.industry020208 electrical & electronic engineeringRuntime verificationresource-constrained deviceComputer Science Applications1707 Computer Vision and Pattern Recognitioncomputer.file_formatsystem specificationComputer Science ApplicationsControl and Systems EngineeringEmbedded systemsystem programmingExecutablebusinesscomputerInformation SystemsIEEE Transactions on Industrial Informatics
researchProduct